Efficient Static Analysis of Fixed-Point Error in DSP Applications via Affine Arithmetic Modeling
نویسندگان
چکیده
Translating digital signal processing (DSP) software into its finite-precision hardware implementation is often a timeconsuming task. We describe a new static analysis technique that can accurately analyze finite-precision effects arising from fixed-point implementations of DSP algorithms. The technique is based on recent interval representation methods from affine arithmetic, and the use of new probabilistic bounds. The resulting numerical error estimates are comparable to detailed statistical simulation, but achieve speedups of four to five orders of magnitude by avoiding actual bittrue simulation. We show error analysis results on several common DSP kernals.
منابع مشابه
Adaptive Mapping of Linear DSP Algorithms to Fixed-Point Arithmetic
Introduction Embedded DSP (digital signal processing) applications are typically implemented using fixed point arithmetic; in hardware to reduce area requirements and increase throughput, but also in software since most embedded processors do not provide floating point arithmetic. Consequently, the developer is confronted with the difficult task of deciding on the fixed point format, i.e., the ...
متن کاملDesign an Energy-Efficient Approximate Multiplication for Digital Signal Processing Application
The need to support various digital signal processing (DSP)and classification applications on energy-constrained devices has steadily grown. Such applications often extensively perform matrix multiplications using fixed-point arithmetic while exhibiting tolerance for some computational errors. Hence, improving the energy efficiency of multiplications is critical. In this brief, we propose multi...
متن کاملFloating-point error analysis based on affine arithmetic
During the development of floating-point signal processing systems, an efficient error analysis method is needed to guarantee the output quality. We present a novel approach to floating-point error bound analysis based on affine arithmetic. The proposed method not only provides a tighter bound than the conventional approach, but also is applicable to any arithmetic operation. The error estimati...
متن کاملSQNR Estimation of Fixed-Point DSP Algorithms
A fast and accurate quantization noise estimator aiming at fixed-point implementations of Digital Signal Processing (DSP) algorithms is presented. The estimator enables significant reduction in the computation time required to perform complex wordlength optimizations. The proposed estimator is based on the use of Affine Arithmetic (AA) and it is presented in two versions: (i) a general version ...
متن کاملA fast affine projection algorithm for an acoustic echo canceller using a fixed-point DSP processor
We present an empirical analysis of the fast affine projection (FAP) algorithm to be used in an acoustic echo cancellation application using a fixed point DSP processor. We also introduce a modified FAP algorithm that was developed based on our FAP study. Our analysis study shows that the modified FAP algorithm is more robust and provides more consistent performance than the LMS algorithm. The ...
متن کامل